GB/T 36099-2018
ActiveApplication software trustworthiness verification based on behavior declaration
基于行为声明的应用软件可信性验证
Application Summary AI generated
This standard specifies methods for verifying the trustworthiness of application software by comparing its actual runtime behavior against predefined behavioral declarations. It is applied in software development and quality assurance contexts, particularly for safety-critical or high-reliability systems such as industrial control, financial transaction platforms, and public service applications. The standard enables automated or manual validation to ensure software performs only intended operations, reducing risks from malicious or erroneous code.
Related Standards
GB/T 18714.3-2003
Information technology--Open distributed processing--Reference model--Part 3:Architecture
GB/Z 18493-2001
Information technology--Guide for software life cycle processes
GB/Z 20156-2006
Software engineering - Guide for the application of software life cycle to project management
GB/Z 26248.1-2010
Information technology - Document description and processing languages - Regular language description for XML(RELAX) - Part1: RELAX Core
GB/Z 31102-2014
Software engineering―Guide to the software engineering body of knowledge (SWEBOK)
GB/Z 18914-2014
Information technology―Software engineering―Guidelines for the adoption of CASE tools
GB/Z 31103-2014
Systems engineering―A guide for the application of GB/T 22032 (System life cycle processes)
GB/Z 42749.6-2025
Information technology—IT Enabled Services-Business Process Outsourcing (ITES-BPO) lifecycle processes—Part 6: Guidelines on risk management
Transparency note: The application summary and key sentences on this page were automatically generated by AI from the standard's original text. This content has not been human-verified and should not be used for compliance or regulatory purposes. Always refer to the official standard document from the issuing authority.